- категоричность системы аксиом
- аксиомалар жүйесінің кесімділігі
Русско-казахский терминологический словарь "Философия и политология". - Академия Педагогических Наук Казахстана. 2014.
категоричность системы аксиом
Смотреть что такое "категоричность системы аксиом" в других словарях:
КАТЕГОРИЧНОСТЬ СИСТЕМЫ АКСИОМ — свойство, выражающее содержат. полноту системы аксиом. Система аксиом наз. категоричной, если она однозначно определяет только одну систему предметов с точностью до изоморфизма, т.е. если все интерпретации, или модели, этой системы изоморфны друг … Философская энциклопедия
МОДЕЛЬ — (франц. modele, от лат. modulus мера, образец, норма), в логике и методологии науки аналог (схема, структура, знаковая система) определ. фрагмента природной или социальной реальности, порождения человеч. культуры, концептуально теоретич.… … Философская энциклопедия
ПОЛНОТА ДЕДУКТИВНАЯ — свойство формальной системы (исчисления), характеризующее достаточность его дедуктивных средств с т. зр. нек рых фиксированных критериев (содержательных или формальных). В зависимости от характера выбранного критерия приходят к той или иной… … Философская энциклопедия
Натуральное число — Натуральные числа можно использовать для счёта (одно яблоко, два яблока и т. п.). Натуральные числа (естественные числа) числа, возникающие естественным образом при счёте (как в смысле перечисл … Википедия
МАТЕМАТИЧЕСКАЯ БЕСКОНЕЧНОСТЬ — общее название разл. реализаций идеи бесконечности в математике. Хотя между значениями понятия М. б. и др. значениями, в к рых употребляется термин бесконечность , нет жесткой границы (поскольку все эти понятия в конечном счете отражают весьма… … Философская энциклопедия
ПОЛНОТА — в логике и дедуктивных науках, свойство аксиоматич. теории, характеризующее достаточность для к. л. определ. целей её выразит. и дедуктивных средств. Аксиоматич. система наз. дедуктивно полной по отношению к данной интерпретации, если все … Философская энциклопедия
ТЕОРЕТИКО-МНОЖЕСТВЕННАЯ ЛОГИКА — (теоретико множественная логика п р е д и к а т о в) – логика, трактуемая с т. зр. теории множеств. К Т. м. л. в широком с м ы с л е можно отнести любые интерпретации логич. исчислений, в основу к рых положено объемное, экстенсиональное понимание … Философская энциклопедия
Вещественное число — Вещественное, или действительное число [1] математическая абстракция, возникшая из потребности измерения геометрических и физических величин окружающего мира, а также проведения таких операций как извлечение корня, вычисление логарифмов, решение… … Википедия
Теория моделей — Теория моделей раздел математической логики, который занимается изучением связи между формальными языками и их интерпретациями, или моделями. Название теория моделей было впервые предложено Тарским в 1954 году. Основное развитие теория … Википедия
Моделей теория — Теория моделей это раздел математической логики, который занимается изучением связи между формальными языками и их интерпретациями, или моделями. Название теория моделей было впервые предложено Тарским в 1954 году. Основное развитие теория… … Википедия
